$\forall$$T$:Type, $a$, $b$:$T$ List. l\_disjoint($T$;$b$;$a$) $\Leftrightarrow$ l\_disjoint($T$;$a$;$b$)